19 search results for "tag:"test""
Showing 1 - 19
-
0.1MITUsed by 1 other packages19 Feb 2024
-
0.4.2CeCILL-BUsed by 7 other packages07 Sep 2015
-
frama-c-lannotate
No documentation
Lannotate plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022 -
frama-c-luncov
No documentation
Luncov plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022 -
genet
No documentation
Genet is tool to build a continuous integration platform.0.6GPL-3.0-onlyUsed by 0 other packages21 Jan 2014 -
JUnit XML reports generation for alcotest tests2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 9 other packages13 Feb 2020
-
Just a tiny LLVM-IR optimizer for testing stuff.1.0.0MITUsed by 0 other packages12 Mar 2018
-
0.1.0BSD-2-ClauseUsed by 0 other packages17 Jul 2023
-
0.2MITUsed by 0 other packages14 Mar 2024
-
0.21.3BSD-2-ClauseUsed by 61 other packages06 Dec 2023
-
0.21.3BSD-2-ClauseUsed by 78 other packages06 Dec 2023
-
0.21.3BSD-2-ClauseUsed by 36 other packages06 Dec 2023
-
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 8 other packages11 Oct 2023
-
A simple state-machine framework for OCaml based on QCheck0.1.1BSD-2-ClauseUsed by 0 other packages24 Jun 2019
-
Lightweight inline test extraction from comments2.11.2Used by 22 other packages12 Feb 2021
-
testrunner
No documentation
Simple framework to run tests and create test reports for OCaml libraries.0.1.0GPL-3.0-onlyUsed by 0 other packages10 Apr 2017 -
0.1MITUsed by 0 other packages19 Feb 2024